Search Results for "gperftools-2.1-2 source code"
Sort By:
Showing 4 open source projects for "gperftools-2.1-2 source code"
View related business solutions-
Skillfully - The future of skills based hiringSkillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
-
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
1
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
2
Procreator is a framework for genetic programming written in Haskell. Procreator generates fully typed programs. This will allow for more effective crossover and for better compilation of the generated programs.
-
3
Hpylos is an AI of Pylos, a board strategy game for two players. Written in Haskell, uses OpenGL and provides with couple algorithms. User interface allows playing a game against computer, observing two algorithms playing or two humans play.
-
4
Foo (abbreviation from football) is a playing machine of Paper Soccer, a pencil and paper game for two players, described in WIKIPEDIA. Written in Haskell, contains also simply interface using HOpenGL library. Provides bunch of playing algorithms.
-
The leading LMS solution for mission critical learning needsStreamline and integrate your complex learning, compliance, content monetization, and external training capabilities while keeping your people safe and delivering profits with Seertech’s LMS solution.
- Previous
- You're on page 1
- Next
