Search Results for "programming program c2"
Sort By:
Showing 2 open source projects for "programming program c2"
View related business solutions-
Free and Open Source HR SoftwareGive your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
-
Sevocity EHRSevocity EHR is a cloud-based ONC and Stage 2 certified electronic health record (EHR) solution. Tailor-made for small and midsized medical practices, Sevocity EHR enables users to streamline their clinical operations, manage practice management workflows, and write and share medical prescriptions electronically. Key features include query by clinical data, real-time MU dashboard, reminder call scheduling, billing service, electronic medical bills, patient portal, communication management, compliance and record management, and more.
-
1
Unison
A friendly programming language from the future
Unison is an open source functional programming language based on a simple idea with big implications: code is content-addressed and immutable. Unison’s core idea is that code is immutable and identified by its content. This lets us reimagine many aspects of how a programming language works. We simplify codebase management, Unison has no builds, no dependency conflicts, and renaming things is trivial. -
2
Agda
Agda is a dependently typed programming language
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. ...
- Previous
- You're on page 1
- Next
