fcbr

fcbr's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10k1805.4k1.5k

• maxgoedjen/secretive

  Store SSH keys in the Secure Enclave

  Language:Swift7k46341156

• presidentbeef/brakeman

  A static analysis security vulnerability scanner for Ruby on Rails applications

  Language:Ruby6.9k167755722

• anders94/blockchain-demo

  A web-based demonstration of blockchain concepts.

  Language:Pug5.1k245452.6k

• google/haskell-trainings

  Haskell 101 and 102: slides and codelabs

  Language:Haskell1.4k6310109

• actions/stale

  Marks issues and pull requests that have not had recent interaction

  Language:TypeScript1.3k40309354

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1k98169236

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT983352.6k227

• owlcs/owlapi

  OWL API main repository

  Language:Java81565918314

• alvations/pywsd

  Python Implementations of Word Sense Disambiguation (WSD) Technologies.

  Language:Python7414360136

• mangiucugna/json_repair

  A python module to repair invalid JSON, commonly used to parse the output of LLMs

  Language:Python50634531

• bling/fzf.el

  A front-end for fzf

  Language:Emacs Lisp36396450

• kframework/c-semantics

  Semantics of C in K

  Language:C3041916440

• vprover/vampire

  The Vampire Theorem Prover

  Language:C++2752214449

• TALP-UPC/FreeLing

  FreeLing project source code

  Language:Lex251278796

• amrisi/amr-guidelines

  2403525586

• bitcoin-0/btc0

  15621021

• kraison/vivace-graph-v3

  VivaceGraph version 3. Open source Common Lisp graph database & Prolog implementation. Supersedes http://github.com/kraison/vivace-graph-v2.

  Language:Common Lisp149312828

• eprover/eprover

  Language:C12710024

• Galigator/openllet

  Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

  Language:Java97135826

• leanprover/logic_and_proof

  CMU Undergrad Course

  Language:TeX96151441

• GrammaticalFramework/gf-contrib

  Community contributions to the Grammatical Framework

  Language:Grammatical Framework6020541

• UniversalDependencies/UD_Portuguese-Bosque

  This Universal Dependencies (UD) Portuguese treebank.

  Language:Common Lisp4712035711

• franzinc/docker-agraph

  Run AllegroGraph in a Docker container

  Language:Shell197913

• fginter/dep_search

  Search back-end for dependency tree search. See the docs at https://fginter.github.io/dep_search/

  Language:Python1711137

• ibeltagy/pl-semantics

  Probabilistic Logic Semantics

  Language:C16824

• rudi/maude-mode

  Language:Emacs Lisp6212

• dan-zeman/interset

  Interset is an interlingua for morphosyntactic tag sets, needed in many tasks in natural language processing.

  Language:Perl5433

• jheek/cqpweb

  Language:PHP3222

• openrif-dev/vivo-isf-ontology

  The "VIVO-ISF Ontology" is an OWL2 representation of the VIVO-ISF Data Standard

  Language:Web Ontology Language10